رویکردی جدید به قضایای گودل
thesis
- وزارت علوم، تحقیقات و فناوری - دانشگاه شهید بهشتی - دانشکده علوم ریاضی
- author علی ولی زاده
- adviser مرتضی منیری علیرضا سالمکار
- Number of pages: First 15 pages
- publication year 1387
abstract
چکیده ندارد.
similar resources
آیا قضایای ناتمامیت گودل را می‌توان در مکانیک کوانتومی به‌کاربرد؟
مکانیک کوانتومی نظریه ای است که ساختار فکری بشر را دگرگون کرد. اما با وجود موفقیت ها ی زیاد آن از زمان اینشتین تاکنون عده ای در مورد کامل بودن آن دارای شک ، تردید و شبهه هستند. یکی از راه هایی که عده ای کامل بودن این نظریه را مورد تردید قرار می دهند قضایای ناتمامیت گودل است. کورت گودل در دوران دکترا و اندکی پس از تحقیق در مورد برنامه های تمامیت و سازگاری هیلبرت در سیستم های صوری، به اثبات دو ق...
full textپیامدهای فلسفی قضایای گودل
در این مقاله ، تاثیرات قضایای ناتمامیت اول و دوم گودل ، پس از تبیینی کوتاه ، در برخی فلسفه های مضاف ، از جمله فلسفه ی ریاضیات و فلسفه ی ذهن ، و نیز بر علیه مادی گرایی و پوزیتیویسم مورد بررسی و تحلیل قرار گرفته است. تاثیر قضایای گودل در فلسفه ی ریاضیات ، در سه حوزة منطق گرایی ، صورت گرایی و سرشت برهان بررسی شده است. در حوزه ی فلسفه ی ذهن ، به تاثیر قضایای گودل در براهین ضد ماشین انگا...
full textقضایای ناتمامیت گودل و راسر
در این پایاننامه، اثبات های جدیدی از قضیه ناتمامیت که در دهه 1990 به دست آمده اند، ارایه می شود، به طوری که در آن ها از لم قطری سازی برای ساختن یک جمله مستقل استفاده نمی شود.
اثباتهای جدید برای قضایای اقلیدس و اویلر
در این نوشته برهانی جدید برای نامتناهی بودن اعداد اول ارائه می شود. این برهان بر اساس یک ایده شمارش ساده با استفاده از اصل شمول- طرد همراه با فرمولی صریح می باشد.
full textاستدلالِ هستی‌شناسیکِ گودل
کورت گودل در فوریة ۱۹۷۰ با دِینا اسکات دربارة استدلال هستی‌‌شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا‌حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبة دوم در نظام S5 است، با این‌‌همانی و یک اصل انتزاع ویژگی‌‌ها. به شرط پذیرش نظام منطقی، نتیجة گودل، این‌‌که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به دست می‌‌آی...
full textاثباتهای جدید برای قضایای اقلیدس و اویلر
در این نوشته برهانی جدید برای نامتناهی بودن اعداد اول ارائه می شود. این برهان بر اساس یک ایده شمارش ساده با استفاده از اصل شمول- طرد همراه با فرمولی صریح می باشد.
full textMy Resources
document type: thesis
وزارت علوم، تحقیقات و فناوری - دانشگاه شهید بهشتی - دانشکده علوم ریاضی
Keywords
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023